Yeah, it sounds too much to get only 3-4psi. what is your boost set at? At 7500ft, atmospheric pressure is about 11psi. So your boost loss should be proportional as the atmospheric loss (11/14.7). Also, the loss is compounded by compressor efficiency loss and the relative volumetric efficiency is about 75% compared to sea level. That'll make it hard for the turbos to spool.